Cutting through Regular Post Embedding Problems
نویسندگان
چکیده
The Regular Post Embedding Problem extended with partial (co)directness is shown decidable. This extends to universal and/or counting versions. It is also shown that combining directness and codirectness in Post Embedding problems leads to undecidability.
منابع مشابه
Computing Blocker Sets for the Regular Post Embedding Problem
Blocker and coblocker sets are regular languages involved in the algorithmic solution of the Regular Post Embedding Problem. We investigate the computability of these languages and related decision problems.
متن کاملPumping and Counting on the Regular Post Embedding Problem
The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular constraints on admissible solutions. It is known that this problem is decidable, albeit with very high complexity. We consider and solve variant problems where the set of solutions is compared to regular constraint sets and where on...
متن کاملThe ω-Regular Post Embedding Problem
Post’s Embedding Problem is a new variant of Post’s Correspondence Problem where words are compared with embedding rather than equality. It has been shown recently that adding regular constraints on the form of admissible solutions makes the problem highly non-trivial, and relevant to the study of lossy channel systems. Here we consider the infinitary version and its application to recurrent re...
متن کاملDesign, Development and Testing of Low Capital and Operational Cost Shrub Cutting Machine
The machine to be designed and developed with a view to resolve one ofthe irksome problems of this institute has been facing every year. This institute issurrounded by vast non- fertile land area of about 200 acres, which becomes widelyoccupied by numerous breads of bushes and shrubs during post-rainy season. Due tothis unwanted proliferation of such verdant institute gets abysmal look and that...
متن کاملScanning electron microscopic investigation of the surface of fiber posts after cutting.
This study evaluated the surface of different types of fiber posts after cutting and investigated whether different cutting procedures can affect the integrity of the posts. Six types of fiber posts were selected for this study (Carbon Fiber Posts, Quartz Fiber Posts, Aesthetic Posts, Aesthetic Plus Posts, Translucent Posts, Dentatus, FRC Postec Posts). Fifteen posts of each type were studied. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012